A Quantum Circuit Simulator Based on Decision Diagrams
نویسندگان
چکیده
The advantages of quantum computing as compared to classical computing are currently being researched; therefore, the ability to correctly simulate quantum circuits is becoming increasingly more important. A Quantum Multiple-valued Decision Diagram, or QMDD, is a structure which allows for an efficient implementation of a quantum circuit simulator. This structure can be used to create a quantum circuit simulator that is both computationally efficient as well as economic with memory usage. In this thesis, a background of quantum computing and analyzing quantum gates and circuits is given. The concept of a QMDD is presented, and the relationship between a QMDD and a quantum circuit simulator is discussed. In addition to these topics, the basic theory behind creating a quantum circuit simulator is discussed. This thesis proposes two different approaches for creating a quantum circuit simulator and analyzes the results generated from both approaches. The first approach utilizes explicit matrix-vector multiplication using QMDD representations of the quantum circuit as well as the input vector. The second approach utilizes implicit matrix-vector multiplication where a QMDD structure representing the quantum circuit undergoes a guided traversal based on the input vector. Both of these approaches are v compared to explicit multiplication using matrices and vectors instead of the QMDD structure. Finally, results are discussed, and the effectiveness of the two circuit simulation methods is analyzed and compared with an existing quantum circuit simulator.
منابع مشابه
Quantum Logic Circuit Simulation Based on the QMDD Data Structure
Two approaches for a quantum logic circuit simulator based on Quantum Multiple-valued Decision Diagrams (QMDDs) are formulated and compared. The two approaches for quantum logic circuit simulation are performed by explicit multiplication using QMDD representations of the circuit and input vector, and through implicit multiplication where the QMDD representing the circuit undergoes a guided trav...
متن کاملProperty Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still requires an exhaustive consideration of all input vectors. As a result, these techniques are particularly insufficient to prove a circuit to be error free. As an alternative, we pr...
متن کاملar X iv : q ua nt - p h / 02 08 00 3 v 1 1 A ug 2 00 2 Gate - Level Simulation of Quantum Circuits ∗
While thousands of experimental physicists and chemists are currently trying to build scalable quantum computers, it appears that simulation of quantum computation will be at least as critical as circuit simulation in classical VLSI design. However, since the work of Richard Feynman in the early 1980s little progress was made in practical quantum simulation. Most researchers focused on polynomi...
متن کاملDDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
Recently much attention has been paid to quantum circuit design to prepare for the future “quantum computation era.” Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we c...
متن کاملAn Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
(Abstract) Recently much attentions have been paid to quantum circuit design to prepare for the future " quantum computation era. " Like the conventional logic synthesis , it should be important to verify and analyze the functionalities of generated quantum circuits. Therefore , we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restric...
متن کامل